منابع مشابه
ITAS - Elektronische Pre-Prints
In this paper, I will have a look at the interference of ethical reflection and the provisional and perhaps futuristic nature of its subject in such recent questions like human enhancement at the interface between society, technology, and ethics. This interface brings up more complex challenges to adequately dealing with normative and epistemic aspects of providing orientation. Taking the progr...
متن کاملITAS : A Portable , Interactive Transportation Scheduling
In a joint project, BBN and Kestrel Institute have developed a prototype of a mixed-initiative scheduling system called ITAS (In-Theater Airlift Scheduler) for the U.S. Air Force, Paciic Command. The system was built in large part using the KIDS (Kestrel Interactive Development System) program synthesis tool. In previous work for the ARPA/Rome Laboratory Planning Initiative (ARPI), Kestrel has ...
متن کاملITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications
In a joint project, BBN and Kestrel Institute have developed a prototype of a mixed-initiative scheduling system called ITAS (In-Theater Airlift Scheduler) for the U.S. Air Force, Pacific Command. The system was built in large part using the KIDS (Kestrel Interactive Development System) program synthesis tool. In previous work for the ARPA/Rome Laboratory Planning Initiative (ARPI), Kestrel has...
متن کاملInternationale Publikationen zu psychologischen Fragestellungen in der Zahnmedizin und zahnmedizinischer Hypnose
A prospective, comparative study of a novel audio pillow with hypnosis text and relaxation music was conducted in 82 dental-implant surgery patients to relieve anxiety over a 6-month period. Visual analogue scales combined with the Aachen Dental Treatment Fear Inventory (AZI) questionnaire were used to quantify patients' subjective feelings of fear. Blood pressure, heart rate, and capillary oxy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: TATuP - Zeitschrift für Technikfolgenabschätzung in Theorie und Praxis
سال: 2007
ISSN: 2199-9201,1619-7623
DOI: 10.14512/tatup.16.1.147